This paper presents a PVS development of relevant results of the theory of rings. The PVS theory includes complete proofs of the three classical isomorphism theorems for rings, and characterizations of principal, prime and maximal ideals. Algebraic concepts and properties are specified and formalized as generally as possible allowing in this manner their application to other algebraic structures. The development provides the required elements to formalize important algebraic theorems. In particular, the paper presents the formalization of the general algebraic-theoretical version of the Chinese remainder theorem (CRT) for the theory of rings, as given in abstract algebra textbooks, proved as a consequence of the first isomorphism theorem. Also, the PVS theory includes a formalization of the number-theoretical version of CRT for the structure of integers, which is the version of CRT found in formalizations. CRT for integers is obtained as a consequence of the general version of CRT for the theory of rings.
The association between obesity, cancer and cardiovascular disease (CVD) has been demonstrated in animal and epidemiological studies. However, the specific role of visceral obesity on cancer and CVD remains unclear. Visceral adipose tissue (VAT) is a complex and metabolically active tissue, that can produce different adipokines and hormones, responsible for endocrine-metabolic comorbidities. This review explores the potential mechanisms related to VAT that may also be involved in cancer and CVD. In addition, we discuss the shared pharmacological treatments which may reduce the risk of both diseases. This review highlights that chronic inflammation, molecular aspects, metabolic syndrome, secretion of hormones and adiponectin associated to VAT may have synergistic effects and should be further studied in relation to cancer and CVD. Reductions in abdominal and visceral adiposity improve insulin sensitivity, lipid profile and cytokines, which consequently reduce the risk of CVD and some cancers. Several medications have shown to reduce visceral and/or subcutaneous fat. Further research is needed to investigate the pathophysiological mechanisms by which visceral obesity may cause both cancer and CVD. The role of visceral fat in cancer and CVD is an important area to advance. Public health policies to increase public awareness about VAT’s role and ways to manage or prevent it are needed. 相似文献
Tannase is an enzyme used in various industries and produced by a large number of microorganisms. The aim of this study was to evaluate tannase production to determine the biochemical, kinetic, and thermodynamic properties and to simulate tannase in vitro digestion. The tannase-producing fungal strain was isolated from “jamun” leaves and identified as Aspergillus tamarii. Temperature at 26°C for 67?h was the best combination for maximum tannase activity (6.35-fold; initial activity in Plackett–Burman design—15.53?U/mL and average final activity in Doehlert design—98.68?U/mL). The crude extract of tannase was optimally active at 40°C, pH 5.5 and 6.5. Moreover, tannase was stimulated by Na+, Ca2+, Mg2+, and Mn2+. The half-life at 40°C lasted 247.55?min. The free energy of Gibbs, enthalpy, and entropy, at 40°C, was 81.47, 16.85, and ?0.21?kJ/mol?·?K, respectively. After total digestion, 123.95% of the original activity was retained. Results suggested that tannase from A. tamarii URM 7115 is an enzyme of interest for industrial applications, such as gallic acid production, additive for feed industry, and for beverage manufacturing, due to its catalytic and thermodynamic properties. 相似文献
Food Science and Biotechnology - The enzymatic activity and partial characterization of proteases from Bromelia karatas fruits were evaluated and compared with Bromelia pinguin proteases. The... 相似文献
Using Java-based tools in multimedia collaborative environments accessed over the Internet can increase an application's client base. Most operating systems support Java, and its "compile once-run everywhere" architecture is easy to maintain and update. The Java-based tools presented here let users share Internet resources, including resources originally designed for single use. 相似文献
This paper presents a hand-held microsystem based on new fully integrated magnetoresistive biochips for biomolecular recognition (DNA hybridization, antibody antigen interaction, etc.). Magnetoresistive chip surfaces are chemically treated, enabling the immobilization of probe biomolecules such as DNA or antibodies. Fluid handling is also integrated in the biochip. The proposed microsystem not only integrates the biochip, which is an array of 16times16 magnetoresistive sensors, but it also provides all the electronic circuitry for addressing and reading out each transducer. The proposed architecture and circuits were specifically designed for achieving a compact, programmable and portable microsystem. The microsystem also integrates a hand-held analyzer connected through a wireless channel. A prototype of the system was already developed and detection of magnetic nanoparticles was obtained. This indicates that the system may be used for magnetic label based bioassays 相似文献
Vegetable-based polyurethane (PU) was prepared in the thin film form by spin coating. This polymer is synthesised from castor oil, which can be extracted from the seeds of a native plant in Brazil called mamona. This polymer is biocompatible and is being used as material for artificial bone. The PU was characterised by dielectric spectroscopy in a wide range of frequency (10–5 Hz to 105 Hz) and by thermally stimulated discharge current (TSDC) measurements. The glass transition temperature (Tg = 39°C) was determined and using the initial rise method the activation energy was found to be 1.58 eV. 相似文献
The evolution of the properties of a REUSY zeolite contained in a fluid cracking catalyst was investigated under laboratory steam deactivation procedures and in age fractions of the corresponding equilibrium catalyst (Ecat). The aging pattern, defined by the evolution of the zeolite surface area (ZSA) related to the decrease of the unit cell size (UCS), was similar between lab-steamed zeolites and Ecat fractions. A sharp drop in ZSA occurred at ca. 2.430 nm UCS. A study done by FT-IR spectroscopy suggested that zeolite dealumination initially took place more extensively on the sodalite cages and double six-member rings (D6R) of the structure and that the final collapse of the zeolite framework occurred through destruction of the 12-member rings (12M). This can be explained by a crystal fracture and break down process and disassembling of the sodalite cages in the faujasite structure. NH3 microcalorimetry showed that strong acid sites in faujasites are destroyed by steam aging, but this effect does not lead to a reduction in the cracking activity of the Ecat form. The microactivity test (MAT) showed that the specific activity declined sharply at 2.430 nm UCS. Differences in product selectivity were related to the extent of damage of the zeolite, extra-framework alumina and mesoporosity. While further aging canceled the effect attributed to extra-framework alumina differences attributed to mesoporosity increased. 相似文献